/*
 * efi-dpp.h
 *
 * UEFI device path protocol.
 */

#ifndef __EFI_DPP_H__
#define __EFI_DPP_H__

#include <efi.h>


#define EFI_DEVICE_PATH_PROTOCOL_GUID   {0x09576e91, 0x6d3f, 0x11d2, {0x8e, 0x39, 0x00, 0xa0, 0xc9, 0x69, 0x72, 0x3b}}

#define EFI_HARDWARE_DEVICE_PATH                0x01
#define EFI_ACPI_DEVICE_PATH                    0x02
#define EFI_MESSAGING_DEVICE_PATH               0x03
#define EFI_MEDIA_DEVICE_PATH                   0x04
#define EFI_BIOS_BOOT_SPECIFICATION_DEVICE_PATH 0x05
#define EFI_END_OF_HARDWARE_DEVICE_PATH         0x7f


typedef struct EFI_DEVICE_PATH_PROTOCOL {
    UINT8   Type;
    UINT8   SubType;
    UINT8   Length[2];
} EFI_DEVICE_PATH_PROTOCOL;


#endif /* __EFI_DPP_H__ */
